<!--script required by all pages that checks that valid user
        is logged on before loading the rest of the page-->
<?php
session_start();
if(!isset($_SESSION['is_logged_in']))
{
        header("Location: main_login.php");
        die();
}
?>